Nuprl Definition : fifoR
11,40
postcript
pdf
fifoR(
ff
) == spreadn(
ff
;
C
,
T
,
S
,
R
,
codes
,
decodes
,
p
.
R
)
latex
Definitions
spreadn(
u
;
a
,
b
,
c
,
d
,
e
,
f
,
g
.
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
))
FDL editor aliases
fifoR
origin